Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

Graphical AbstractGene editing with engineered nucleases introduce double-strand breaks that are repaired by error-prone nonhomologous end-joining (NHEJ). In article number 1900126, Sara G. Trimidal et al. propose that the length and type or resulting indels can now be controlled by editing with different engineered nucleases or by manipulating the expression of NHEJ genes.

Genome editing with engineered nucleases (GEENs) introduce site‐specific DNA double‐strand breaks (DSBs) and repairs DSBs via nonhomologous end‐joining (NHEJ) pathways that eventually create indels (insertions/deletions) in a genome. Whether the features of indels resulting from gene editing could be customized is asked. A review of the literature reveals how gene editing technologies via NHEJ pathways impact gene editing. The survey consolidates a body of literature that suggests that the type (insertion, deletion, and complex) and the approximate length of indel edits (...) can be somewhat customized with different GEENs and by manipulating the expression of key NHEJ genes. Structural data suggest that binding of GEENs to DNA may interfere with binding of key components of DNA repair complexes, favoring either classical‐ or alternative‐NHEJ. The hypotheses have some limitations, but if validated, will enable scientists to better control indel makeup, holding promise for basic science and clinical applications of gene editing. Also see the video abstract here https://youtu.be/vTkJtUsLi3w. (shrink)

Ethical self-management; an introduction to systematic personality psychology, by M. C. Katz.--Four axiological proofs of the infinite value of man, by R. S. Hartman.--Some thoughts regarding the current philosophy of the behavioral sciences, by C. R. Rogers.--Autonomy and community, by D. Lee.--Synergy in the society and in the individual, by A. H. Maslow.--Human nature: its cause and effect; a theoretical framework for understanding human motivation, by M. C. Katz.--Mental health; a generic attitude, by G. W. Allport.--Love feelings in courtship couples; (...) an analysis, by R. P. Hattis.--Economic policies and human well-being, by W. A. Weisskopf.--The great transformation, by H. F. W. Perk.--Contingencies of reinforcement in the design of a culture, by B. F. Skinner.--For further reading. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

This treatise on aesthetics criticizes various psychological theories of art, offers new theories and interpretations, and draws important inferences concerning ...

The application of ontology has thus far [in 1998] been confined almost exclusively to the field of knowledge representation. Ontology has been applied, for example, in the design of medical databases and in the construction of geographical information systems. One area which is naturally suited to ontological analysis is that of the law and of social institutions in general. -/- Legal systems are composed of legal entities, such as laws, contracts, obligations, and rights. Their application yields new categories of entities (...) such as: corporations, trademarks, marriages, and parcels of real estate. The categorization of these entities by different legal systems has not, by-and-large, been conducted in ways which exploit the tools of modern ontology. Consequently, contradictions and inconsistencies often arise in the law when, for instance, one type of entity is forced into two mutually exclusive categories (e.g., when software is considered both patentable and copyrightable). Papers are invited which consider these and related issues from a philosophical point of view. (shrink)

This book aims to provide an introduction to Aristotle's Politics, highlighting the major themes and arguments offered in the scholar's work. It begins with a discussion on what Aristotle perceives as human good, which he had described as the ethical purpose of political science, and how he views the political community, or the polis, as a community of persons formed with a view to some good purpose and a supreme entity in the sense that it is not just one aspect (...) of city-state society but is the whole of that society. The book also discusses Aristotle's arguments against the abolition of the household for the ruling class and the communism of families and property, which Plato advocates, and highlights certain inconsistencies and vulnerabilities in his arguments supporting natural slavery and on how the husband should rule over his wife and children. The book presents Aristotle's account of the relative merits of six different types of constitution and his views on the best possible constitution that will help in the realization of the polis' true purpose of achieving the good life. It ends with a discussion on Aristotle's view of political science in relation to the protection of particular constitutions against constitutional change and political disorder. (shrink)

This early work by Robin G. Collingwood was originally published in 1939 and we are now republishing it with a brand new introductory biography. 'An Autobiography' is the story of Collingwood's personal and academic life. Robin George Collingwood was born on 22nd February 1889, in Cartmel, England. He was the son of author, artist, and academic, W. G. Collingwood. He was greatly influenced by the Italian Idealists Croce, Gentile, and Guido de Ruggiero. Another important influence was his father, a professor (...) of fine art and a student of Ruskin. He published many works of philosophy, such as Speculum Mentis (1924), An Essay on Philosophic Method (1933), and An Essay on Metaphysics (1940). (shrink)

EMPIRICIST THEORIES OF PERSONAL IDENTITY STATE THAT THE IDENTITY OF A PERSON OVER TIME IS A MATTER OF BODILY CONTINUITY AND/OR SIMILARITY OF MEMORY AND CHARACTER. IN CONTRAST, THIS PAPER ARGUES THAT WHILE BODILY CONTINUITY AND SIMILARITY OF MEMORY AND CHARACTER ARE EVIDENCE OF PERSONAL IDENTITY, THEY DO NOT CONSTITUTE IT. IT IS SOMETHING UNDEFINABLE. THE DIFFICULTY OF KNOWING WHAT TO SAY IN PUZZLE CASES DOES NOT SHOW THAT PERSONAL IDENTITY EXISTS IN DIFFERENT DEGREES OR THAT WE HAVE TO MAKE (...) ARBITRARY JUDGMENTS ABOUT IT. IT SHOWS ONLY THAT SOMETIMES WE CANNOT KNOW WHO IS WHO. (shrink)

On what grounds will the rational man become a Christian? It is often assumed by many, especially non-Christians, that he will become a Christian if and only if he judges that the evidence available to him shows that it is more likely than not that the Christian theological system is true, that, in mathematical terms, on the evidence available to him, the probability of its truth is greater than half. It is the purpose of this paper to investigate whether or (...) not this is a necessary and sufficient condition for the rational man to adopt Christianity. (shrink)

Applied or practical ethics is perhaps the largest growth area in philosophy today, and many issues in moral, social, and political life have come under philosophical scrutiny in recent years. Taken together, the essays in this volume – including two overview essays on theories of ethics and the nature of applied ethics – provide a state-of-the-art account of the most pressing moral questions facing us today. Provides a comprehensive guide to many of the most significant problems of practical ethics Offers (...) state-of-the-art accounts of issues in medical, environmental, legal, social, and business ethics Written by major philosophers presently engaged with these complex and profound ethical issues. (shrink)

A detailed study of the political organization in an important area of Tanzania shortly before Independence. Unyamwezi covers 35,000 square miles and has a population of 400,000. Dr Abrahams outlines the social and economic framework and examines the origins of the modern political system. He then discusses the internal organization of Nyamwezi chiefdoms and villages and the emergence of national politics. The theoretical and comparative implications of the study, which is based on extensive field work in the area, are also (...) considered. (shrink)

What is science? How is scientific knowledge affected by the society that produces it? Does scientific knowledge directly correspond to reality? Can we draw a line between science and pseudo-science? Will it ever be possible for computers to undertake scientific investigation independently? Is there such a thing as feminist science? In this book the author addresses questions such as these using a technique of 'cognitive play', which creates and explores new links between the ideas and results of contemporary history, philosophy, (...) and sociology of science. New ideas and approaches are applied to a wide range of case studies, many of them from controversial and contested science. This book will be of interest to historians and sociologists of science, to anyone interested in science studies, and to educated general readers with an interest in the history, philosophy, and social context of science. (shrink)